ABS: Case v => case cont

ABS: Default => body EndSwitch

ABS: EndSwitch

ABS: Case(value) body

ABS: Default => body

ABS: <x,y> => body(x;y)

ABS: inl(x)  body(x) ; cont

ABS: inr(x)  body(x) ; cont

ABS: x::y => body(x;y) cont

ABS: [] => body cont

ABS:  => body

ABS: x:body